/*
 * Operacoes.h
 *
 *  Created on: May 17, 2013
 *      Author: root
 */

#include "Config.h"

#ifndef OPERACOES_H_
#define OPERACOES_H_

int generateOperations(int* chosenPageId, char* chosenOpType);
extern int read_count_remaining;
extern int write_count_remaining;

#endif /* OPERACOES_H_ */
